Поиск по сайту

HomeПоиск по сайту

Information

По вашему запросу найдено материалов: 1
Искать:
Lamberov Lev D. «The Concept of Proof in the Context of a Type-Theoretic Approach, III: Proofs as (Some) Types» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2020. №57 C.25-32